#ifndef TIME_H
#define TIME_H 

#define PIT_OSC_FREQ 1193182

#define PIT_COMMAND_MODE_PORT 0x43
#define PIT_CHANNEL0_DATA_PORT 0x40

#define PIT_CHANNEL0     (0 << 6)
#define PIT_LOAD_LOHI   (3 << 4)
#define PIT_MODE3       (3 << 1)

void time_init(void);

void exception_handler_time(void);

#endif /* ifndef TIME_H */
